more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10823

[filed under theme 5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential ]

Full Idea

To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type.

Gist of Idea

A name denotes an object if the object satisfies a particular sentential function

Source

Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194)

Book Ref

'The Nature of Truth', ed/tr. Lynch, Michael P. [MIT 2001], p.382